Comments on black holes I: The possibility of complementarity

We comment on a recent paper of Almheiri, Marolf, Polchinski and Sully who argue against black hole complementarity based on the claim that an infalling observer 'burns' as he approaches the horizon. We show that in fact measurements made by an infalling observer outside the horizon are statistically identical for the cases of vacuum at the horizon and radiation emerging from a stretched horizon. This forces us to follow the dynamics all the way to the horizon, where we need to know the details of Planck scale physics. We note that in string theory the fuzzball structure of microstates does not give any place to 'continue through' this Planck regime. AMPS argue that interactions near the horizon preclude traditional complementarity. But the conjecture of 'fuzzball complementarity' works in the opposite way: the infalling quantum is absorbed by the fuzzball surface, and it is the resulting dynamics that is conjectured to admit a complementary description.Comment: 34 pages, 6 figures, v3: clarifications & references adde

Jet Trimming

Initial state radiation, multiple interactions, and event pileup can contaminate jets and degrade event reconstruction. Here we introduce a procedure, jet trimming, designed to mitigate these sources of contamination in jets initiated by light partons. This procedure is complimentary to existing methods developed for boosted heavy particles. We find that jet trimming can achieve significant improvements in event reconstruction, especially at high energy/luminosity hadron colliders like the LHC.Comment: 20 pages, 11 figures, 3 tables - Minor changes to text/figure

A Branching Time Model of CSP

I present a branching time model of CSP that is finer than all other models of CSP proposed thus far. It is obtained by taking a semantic equivalence from the linear time - branching time spectrum, namely divergence-preserving coupled similarity, and showing that it is a congruence for the operators of CSP. This equivalence belongs to the bisimulation family of semantic equivalences, in the sense that on transition systems without internal actions it coincides with strong bisimilarity. Nevertheless, enough of the equational laws of CSP remain to obtain a complete axiomatisation for closed, recursion-free terms.Comment: Dedicated to Bill Roscoe, on the occasion of his 60th birthda

Metal concentration in plant tissues of Ricinus communis L. (Castor oil) grown in soil contaminated with spent lubricating oil

Castor oil plant seeds (Ricinus communis L.) were grown in spent lubricating oil (SLO) contaminated soil at concentrations of 1-6% (w/w, oil/soil). Plant height and stem girth were depressed by spent lubricating oil at concentrations of 2% (w/w) and above. One percent (1%) spent lubricating oil in soil promoted growth of plants when compared with control. Fresh and dry weights of R. communis plants grown in 1% oil treatment were significantly more than that of control. Spent lubricating oil in soil depressed pH. From the values obtained for metal concentrations in leaves, stems and roots, the concentrations of manganese and nickel were highest in the leaves. At 2% SLO and above, lead concentration was highest in the leaves too. Accumulation of the metals by plant parts were not concentration dependent. Specifically metal accumulation in R. communis, in the present study showed that Mn , Ni and Pb were mostly accumulated in the leaves; while V was highest in roots. Journal of Applied Sciences and Environmental Management Vol. 10(3) 2006: 127-13

Identifying Boosted Objects with N-subjettiness

We introduce a new jet shape -- N-subjettiness -- designed to identify boosted hadronically-decaying objects like electroweak bosons and top quarks. Combined with a jet invariant mass cut, N-subjettiness is an effective discriminating variable for tagging boosted objects and rejecting the background of QCD jets with large invariant mass. In efficiency studies of boosted W bosons and top quarks, we find tagging efficiencies of 30% are achievable with fake rates of 1%. We also consider the discovery potential for new heavy resonances that decay to pairs of boosted objects, and find significant improvements are possible using N-subjettiness. In this way, N-subjettiness combines the advantages of jet shapes with the discriminating power seen in previous jet substructure algorithms.Comment: 26 pages, 26 figures, 2 tables; v2: references added; v3: discussion of results extende

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages

In the implementation of abstract synchronous communication in asynchronous unstructured low-level languages, e.g. using shared variables, the preservation of safety and especially liveness properties is a hitherto open problem due to inherently different abstraction levels. Our approach to overcome this problem is threefold: First, we present our notion of handshake refinement with which we formally prove the correctness of the implementation relation of a handshake protocol. Second, we verify the soundness of our handshake refinement, i.e., all safety and liveness properties are preserved to the lower level. Third, we apply our handshake refinement to show the correctness of all implementations that realize the abstract synchronous communication with the handshake protocol. To this end, we employ an exemplary language with asynchronous shared variable communication. Our approach is scalable and closes the verification gap between different abstraction levels of communication

The mass area of jets

We introduce a new characteristic of jets called mass area. It is defined so as to measure the susceptibility of the jet's mass to contamination from soft background. The mass area is a close relative of the recently introduced catchment area of jets. We define it also in two variants: passive and active. As a preparatory step, we generalise the results for passive and active areas of two-particle jets to the case where the two constituent particles have arbitrary transverse momenta. As a main part of our study, we use the mass area to analyse a range of modern jet algorithms acting on simple one and two-particle systems. We find a whole variety of behaviours of passive and active mass areas depending on the algorithm, relative hardness of particles or their separation. We also study mass areas of jets from Monte Carlo simulations as well as give an example of how the concept of mass area can be used to correct jets for contamination from pileup. Our results show that the information provided by the mass area can be very useful in a range of jet-based analyses.Comment: 36 pages, 12 figures; v2: improved quality of two plots, added entry in acknowledgments, nicer form of formulae in appendix A; v3: added section with MC study and pileup correction, version accepted by JHE